$\forall$$T$:Type, $a$, $b$:($T$ List). l\_disjoint($T$;$b$;$a$) $\Leftarrow\!\Rightarrow$ l\_disjoint($T$;$a$;$b$)